Open Mapping Theorem

نویسندگان

  • Hideki Sakurai
  • Hisayoshi Kunimune
  • Yasunari Shidama
چکیده

The notation and terminology used here are introduced in the following papers: [13], [14], [3], [9], [2], [7], [1], [4], [5], [10], [6], [12], [11], and [15]. The following proposition is true (1) For all real numbers x, y such that 0 ≤ x < y there exists a real number s0 such that 0 < s0 and x < y 1+s0 < y. The scheme RecExD3 deals with a non empty set A, an element B of A, an element C of A, and a 4-ary predicate P, and states that: There exists a function f from N into A such that f(0) = B and f(1) = C and for every element n of N holds P[n, f(n), f(n + 1), f(n+ 2)] provided the parameters meet the following requirement: • For every element n of N and for all elements x, y of A there exists an element z of A such that P[n, x, y, z]. In the sequel X, Y denote real normed spaces. The following propositions are true: (2) For every point y1 of X and for every real number r holds Ball(y1, r) = y1 +Ball(0X , r). (3) For every real number r and for every real number a such that 0 < a holds Ball(0X , a · r) = a · Ball(0X , r).

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

The Existence Theorem for Contractive Mappings on $wt$-distance in $b$-metric Spaces Endowed with a Graph and its Application

In this paper, we study the existence and uniqueness of fixed points for mappings with respect to a $wt$-distance in $b$-metric spaces endowed with a graph. Our results are significant, since we replace the condition of continuity of mapping with the condition of orbitally $G$-continuity of mapping and we consider $b$-metric spaces with graph instead of $b$-metric spaces, under which can be gen...

متن کامل

A note on spectral mapping theorem

This paper aims to present the well-known spectral mapping theorem for multi-variable functions.

متن کامل

Some Results on TVS-cone Normed Spaces and Algebraic Cone Metric Spaces

In this paper we introduce the cone bounded linear mapping and demonstrate a proof to show that the cone norm is continuous. Among other things, we prove the open mapping theorem and the closed graph theorem in TVS-cone normed spaces. We also show that under some restrictions on the cone, two cone norms are equivalent if and only if the topologies induced by them are the same. In the sequel, we...

متن کامل

Fixed point theorem for non-self mappings and its applications in the modular ‎space

‎In this paper, based on [A. Razani, V. Rako$check{c}$evi$acute{c}$ and Z. Goodarzi, Nonself mappings in modular spaces and common fixed point theorems, Cent. Eur. J. Math. 2 (2010) 357-366.] a fixed point theorem for non-self contraction mapping $T$ in the modular space $X_rho$ is presented. Moreover, we study a new version of Krasnoseleskii's fixed point theorem for $S+T$, where $T$ is a cont...

متن کامل

A generalization of Martindale's theorem to $(alpha, beta)-$homomorphism

Martindale proved that under some conditions every multiplicative isomorphism between two rings is additive. In this paper, we extend this theorem to a larger class of mappings and conclude that every multiplicative $(alpha, beta)-$derivation is additive.

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:
  • Formalized Mathematics

دوره 16  شماره 

صفحات  -

تاریخ انتشار 2008